Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
O que (quem) é Dedekind lattice - definição
![''st''-planar graph]].](https://commons.wikimedia.org/wiki/Special:FilePath/2d modular lattice.svg?width=200 "''st''-planar graph]].")
.gif?width=200 "Free modular lattice generated by three elements {x,y,z}")
![irrational]], [[real number]]s.](https://commons.wikimedia.org/wiki/Special:FilePath/Dedekind cut- square root of two.png?width=200 "irrational]], [[real number]]s.")
!['''Pic. 7:''' Non-lattice poset: <math>b</math> and <math>c</math> have common upper bounds <math>d, e,</math> and <math>f,</math> but none of them is the [[least upper bound]].](https://commons.wikimedia.org/wiki/Special:FilePath/NoLatticeDiagram.svg?width=200 "'''Pic. 7:''' Non-lattice poset: <math>b</math> and <math>c</math> have common upper bounds <math>d, e,</math> and <math>f,</math> but none of them is the [[least upper bound]].")
!['''Pic. 8:''' Non-lattice poset: <math>a</math> and <math>b</math> have common lower bounds <math>0, d, g, h,</math> and <math>i,</math> but none of them is the [[greatest lower bound]].](https://commons.wikimedia.org/wiki/Special:FilePath/Pow3nonlattice.svg?width=200 "'''Pic. 8:''' Non-lattice poset: <math>a</math> and <math>b</math> have common lower bounds <math>0, d, g, h,</math> and <math>i,</math> but none of them is the [[greatest lower bound]].")
!['''Pic. 1:''' Subsets of \{x, y, z\}, under [[set inclusion]]. The name "lattice" is suggested by the form of the [[Hasse diagram]] depicting it.](https://commons.wikimedia.org/wiki/Special:FilePath/Hasse diagram of powerset of 3.svg?width=200 "'''Pic. 1:''' Subsets of \{x, y, z\}, under [[set inclusion]]. The name \"lattice\" is suggested by the form of the [[Hasse diagram]] depicting it.")
![partition]]s of \{1, 2, 3, 4\}, ordered by "''refines''".](https://commons.wikimedia.org/wiki/Special:FilePath/Lattice of partitions of an order 4 set.svg?width=200 "partition]]s of \{1, 2, 3, 4\}, ordered by \"''refines''\".")
Wikipédia
In the branch of mathematics called order theory, a modular lattice is a lattice that satisfies the following self-dual condition,
- Modular law
- a ≤ b implies a ∨ (x ∧ b) = (a ∨ x) ∧ b
where x, a, b are arbitrary elements in the lattice, ≤ is the partial order, and ∨ and ∧ (called join and meet respectively) are the operations of the lattice. This phrasing emphasizes an interpretation in terms of projection onto the sublattice [a, b], a fact known as the diamond isomorphism theorem. An alternative but equivalent condition stated as an equation (see below) emphasizes that modular lattices form a variety in the sense of universal algebra.
Modular lattices arise naturally in algebra and in many other areas of mathematics. In these scenarios, modularity is an abstraction of the 2nd Isomorphism Theorem. For example, the subspaces of a vector space (and more generally the submodules of a module over a ring) form a modular lattice.
In a not necessarily modular lattice, there may still be elements b for which the modular law holds in connection with arbitrary elements x and a (for a ≤ b). Such an element is called a modular element. Even more generally, the modular law may hold for any a and a fixed pair (x, b). Such a pair is called a modular pair, and there are various generalizations of modularity related to this notion and to semimodularity.
Modular lattices are sometimes called Dedekind lattices after Richard Dedekind, who discovered the modular identity in several motivating examples.
